1. Formal description of programming concepts III : Proceedings of the IFIP TC2/ WG 2.2 Working Conference on Formal Description of Programming Concepts, Ebberup, Denmark, 25-28 August 1986
پدیدآورنده : edited by Martin Wirsing
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Formal languages
رده :
QA
76
.
6
.
I179
1986
2. Formal description of programming concepts: Proccedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Descripion of Programming Concepts Ebbrup, Denmark, 25-28 August, 1986
پدیدآورنده : edited by Martin Wirsing
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع :
رده :
QA
،
76
.
6
،.
I25
،
1986
3. Knowledge Science, Engineering and Management
پدیدآورنده : \ edited by Songmao Zhang, Martin Wirsing, Zili Zhang.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge acquisition (Expert systems) -- Congresses.,Information technology -- Congresses,Computer science.,دانشیابی (سیستمهای خبره) -- کنگره ها,تکنولوژی اطلاعات -- کنگرهها ,علوم کامپیوتر
رده :
QA76
.
76
.
K59
2015
E-Book
,